J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version

Source URL: www.labri.fr

• Mathematics
• Algebra
• Mathematical logic
• Logic in computer science
• Model theory
• Proof theory
• Presburger arithmetic
• Time complexity
• Generalized arithmetic progression
• Polynomial
• Vector space
• Lattice

Self-focused Leadership from Language and Complexity Theory Thomas J. Schur Copyright 2005

Source URL: www.tschur.com

Chapter 10 Bin Packing Here we consider the classical Bin Packing problem: We are given a set I = {1, . . . , n} of items, where item i ∈ I has size si ∈ (0, 1] and a set B = {1, . . . , n} of bins with capacity one

Source URL: www2.informatik.hu-berlin.de

• Computational complexity theory
• Theory of computation
• Complexity classes
• Packing problems
• NP-complete problems
• Bin packing problem
• Approximation algorithms
• Polynomial-time approximation scheme
• Partition problem
• NP
• NC
• Time complexity

Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic∗ Iris van de Pol †

Source URL: jakubszymanik.com

Information Theory versus Complexity Theory: Another Test Case Ivan Damgard Oded Goldreichy September 20, 1995

Source URL: www.wisdom.weizmann.ac.il

Approximating Fault-Tolerant Domination in General Graphs Klaus-Tycho Foerster∗ Abstract In this paper we study the NP-complete problem of finding small k-dominating sets in general graphs, which allow k − 1 nodes to

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Mathematics
• Computational complexity theory
• NP-complete problems
• Dominating set
• Independent set
• Vertex cover
• Connected dominating set
• Set cover problem
• Line graph
• Metric k-center
• Domatic number

Property Testing: A Learning Theory Perspective Dana Ron∗ School of EE Tel-Aviv University Ramat Aviv, Israel

Source URL: www.eng.tau.ac.il

• Machine learning
• Computational complexity theory
• Theoretical computer science
• Applied mathematics
• Learning
• Models of computation
• Property testing
• Decision tree model
• Sample complexity
• PP
• Probability distribution
• Time complexity

December 15, :20 WSPC - Proceedings Trim Size: 9.75in x 6.5in

Source URL: www.jsbi.org

• Graph theory
• Mathematics
• Computational complexity theory
• NP-complete problems
• Clique
• Subgraph isomorphism problem
• Matching
• Protein kinase
• Protein
• Root-mean-square deviation of atomic positions

Ant Algorithms for Discrete Optimization Marco Dorigo and Gianni Di Caro IRIDIA, Universit´e Libre de Bruxelles Brussels, Belgium

Source URL: www.strc.ch

• Computational complexity theory
• Ant colony optimization algorithms
• Mathematics
• Ant
• Systems science
• Travelling salesman problem
• Argentine ant
• Stigmergy
• Pheromone
• Dalle Molle Institute for Artificial Intelligence Research
• Artificial ants
• Swarm intelligence

Solution Quality and Efficiency in Discrete Optimization 2 Scientific Work

Source URL: www.ite.ethz.ch

• Computational complexity theory
• Mathematics
• Theory of computation
• Operations research
• NP-complete problems
• Mathematical optimization
• Convex optimization
• Travelling salesman problem
• Approximation algorithm
• Optimization problem
• Algorithm
• Genetic algorithm